\(\int \frac {(c i+d i x) (A+B \log (\frac {e (a+b x)}{c+d x}))}{(a g+b g x)^2} \, dx\) [6]

Optimal result

Integrand size = 38, antiderivative size = 142 \[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a g+b g x)^2} \, dx=-\frac {B i (c+d x)}{b g^2 (a+b x)}-\frac {i (c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{b g^2 (a+b x)}-\frac {d i \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log \left (1-\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g^2}+\frac {B d i \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g^2} \]

[Out]

-B*i*(d*x+c)/b/g^2/(b*x+a)-i*(d*x+c)*(A+B*ln(e*(b*x+a)/(d*x+c)))/b/g^2/(b*x+a)-d*i*(A+B*ln(e*(b*x+a)/(d*x+c)))
*ln(1-b*(d*x+c)/d/(b*x+a))/b^2/g^2+B*d*i*polylog(2,b*(d*x+c)/d/(b*x+a))/b^2/g^2

Rubi [A] (verified)

Time = 0.14 (sec) , antiderivative size = 142, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.132, Rules used = {2562, 2380, 2341, 2379, 2438} \[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a g+b g x)^2} \, dx=-\frac {d i \log \left (1-\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{b^2 g^2}-\frac {i (c+d x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{b g^2 (a+b x)}+\frac {B d i \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g^2}-\frac {B i (c+d x)}{b g^2 (a+b x)} \]

[In]

Int[((c*i + d*i*x)*(A + B*Log[(e*(a + b*x))/(c + d*x)]))/(a*g + b*g*x)^2,x]

[Out]

-((B*i*(c + d*x))/(b*g^2*(a + b*x))) - (i*(c + d*x)*(A + B*Log[(e*(a + b*x))/(c + d*x)]))/(b*g^2*(a + b*x)) -
(d*i*(A + B*Log[(e*(a + b*x))/(c + d*x)])*Log[1 - (b*(c + d*x))/(d*(a + b*x))])/(b^2*g^2) + (B*d*i*PolyLog[2,
(b*(c + d*x))/(d*(a + b*x))])/(b^2*g^2)

Rule 2341

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_.)*(x_))^(m_.), x_Symbol] :> Simp[(d*x)^(m + 1)*((a + b*Log[c*x^
n])/(d*(m + 1))), x] - Simp[b*n*((d*x)^(m + 1)/(d*(m + 1)^2)), x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[m, -1
]

Rule 2379

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((x_)*((d_) + (e_.)*(x_)^(r_.))), x_Symbol] :> Simp[(-Log[1 +
d/(e*x^r)])*((a + b*Log[c*x^n])^p/(d*r)), x] + Dist[b*n*(p/(d*r)), Int[Log[1 + d/(e*x^r)]*((a + b*Log[c*x^n])^
(p - 1)/x), x], x] /; FreeQ[{a, b, c, d, e, n, r}, x] && IGtQ[p, 0]

Rule 2380

Int[(((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*(x_)^(m_.))/((d_) + (e_.)*(x_)^(r_.)), x_Symbol] :> Dist[1/d,
Int[x^m*(a + b*Log[c*x^n])^p, x], x] - Dist[e/d, Int[(x^(m + r)*(a + b*Log[c*x^n])^p)/(d + e*x^r), x], x] /;
FreeQ[{a, b, c, d, e, m, n, r}, x] && IGtQ[p, 0] && IGtQ[r, 0] && ILtQ[m, -1]

Rule 2438

Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2, (-c)*e*x^n]/n, x] /; FreeQ[{c, d,
e, n}, x] && EqQ[c*d, 1]

Rule 2562

Int[((A_.) + Log[(e_.)*((a_.) + (b_.)*(x_))^(n_.)*((c_.) + (d_.)*(x_))^(mn_)]*(B_.))^(p_.)*((f_.) + (g_.)*(x_)
)^(m_.)*((h_.) + (i_.)*(x_))^(q_.), x_Symbol] :> Dist[(b*c - a*d)^(m + q + 1)*(g/b)^m*(i/d)^q, Subst[Int[x^m*(
(A + B*Log[e*x^n])^p/(b - d*x)^(m + q + 2)), x], x, (a + b*x)/(c + d*x)], x] /; FreeQ[{a, b, c, d, e, f, g, h,
i, A, B, n, p}, x] && EqQ[n + mn, 0] && IGtQ[n, 0] && NeQ[b*c - a*d, 0] && EqQ[b*f - a*g, 0] && EqQ[d*h - c*i
, 0] && IntegersQ[m, q]

Rubi steps \begin{align*} \text {integral}& = \frac {i \text {Subst}\left (\int \frac {A+B \log (e x)}{x^2 (b-d x)} \, dx,x,\frac {a+b x}{c+d x}\right )}{g^2} \\ & = \frac {i \text {Subst}\left (\int \frac {A+B \log (e x)}{x^2} \, dx,x,\frac {a+b x}{c+d x}\right )}{b g^2}+\frac {(d i) \text {Subst}\left (\int \frac {A+B \log (e x)}{x (b-d x)} \, dx,x,\frac {a+b x}{c+d x}\right )}{b g^2} \\ & = -\frac {B i (c+d x)}{b g^2 (a+b x)}-\frac {i (c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{b g^2 (a+b x)}-\frac {d i \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log \left (1-\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g^2}+\frac {(B d i) \text {Subst}\left (\int \frac {\log \left (1-\frac {b}{d x}\right )}{x} \, dx,x,\frac {a+b x}{c+d x}\right )}{b^2 g^2} \\ & = -\frac {B i (c+d x)}{b g^2 (a+b x)}-\frac {i (c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{b g^2 (a+b x)}-\frac {d i \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log \left (1-\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g^2}+\frac {B d i \text {Li}_2\left (\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g^2} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.10 (sec) , antiderivative size = 175, normalized size of antiderivative = 1.23 \[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a g+b g x)^2} \, dx=\frac {i \left (-2 (A+B) (b c-a d)-B d (a+b x) \log ^2(a+b x)+2 (-b B c+a B d) \log \left (\frac {e (a+b x)}{c+d x}\right )+2 B d (a+b x) \log (c+d x)+2 d (a+b x) \log (a+b x) \left (A-B+B \log \left (\frac {e (a+b x)}{c+d x}\right )+B \log \left (\frac {b (c+d x)}{b c-a d}\right )\right )+2 B d (a+b x) \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{-b c+a d}\right )\right )}{2 b^2 g^2 (a+b x)} \]

[In]

Integrate[((c*i + d*i*x)*(A + B*Log[(e*(a + b*x))/(c + d*x)]))/(a*g + b*g*x)^2,x]

[Out]

(i*(-2*(A + B)*(b*c - a*d) - B*d*(a + b*x)*Log[a + b*x]^2 + 2*(-(b*B*c) + a*B*d)*Log[(e*(a + b*x))/(c + d*x)]
+ 2*B*d*(a + b*x)*Log[c + d*x] + 2*d*(a + b*x)*Log[a + b*x]*(A - B + B*Log[(e*(a + b*x))/(c + d*x)] + B*Log[(b
*(c + d*x))/(b*c - a*d)]) + 2*B*d*(a + b*x)*PolyLog[2, (d*(a + b*x))/(-(b*c) + a*d)]))/(2*b^2*g^2*(a + b*x))

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(369\) vs. \(2(142)=284\).

Time = 1.38 (sec) , antiderivative size = 370, normalized size of antiderivative = 2.61

method	result	size
parts	\(\frac {i A \left (\frac {d \ln \left (b x +a \right )}{b^{2}}-\frac {-a d +c b}{b^{2} \left (b x +a \right )}\right )}{g^{2}}-\frac {i B \left (a d -c b \right )^{2} e^{2} \left (-\frac {d^{3} \left (-\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}}-\frac {1}{\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}}\right )}{\left (a d -c b \right )^{2} b e}-\frac {d^{4} \ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )^{2}}{2 \left (a d -c b \right )^{2} b^{2} e^{2}}+\frac {d^{5} \left (\frac {\operatorname {dilog}\left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \ln \left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}\right )}{\left (a d -c b \right )^{2} b^{2} e^{2}}\right )}{g^{2} d^{3}}\)	\(370\)
derivativedivides	\(-\frac {e \left (a d -c b \right ) \left (-\frac {i \,d^{2} e A \left (-\frac {d \ln \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{b^{2} e^{2}}-\frac {1}{b e \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}+\frac {d \ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{b^{2} e^{2}}\right )}{\left (a d -c b \right ) g^{2}}-\frac {i \,d^{2} e B \left (\frac {d \ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )^{2}}{2 b^{2} e^{2}}-\frac {d^{2} \left (\frac {\operatorname {dilog}\left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \ln \left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}\right )}{b^{2} e^{2}}+\frac {-\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}}-\frac {1}{\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}}}{b e}\right )}{\left (a d -c b \right ) g^{2}}\right )}{d^{2}}\)	\(448\)
default	\(-\frac {e \left (a d -c b \right ) \left (-\frac {i \,d^{2} e A \left (-\frac {d \ln \left (b e -\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d \right )}{b^{2} e^{2}}-\frac {1}{b e \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}+\frac {d \ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{b^{2} e^{2}}\right )}{\left (a d -c b \right ) g^{2}}-\frac {i \,d^{2} e B \left (\frac {d \ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )^{2}}{2 b^{2} e^{2}}-\frac {d^{2} \left (\frac {\operatorname {dilog}\left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}+\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) \ln \left (-\frac {\left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right ) d -b e}{b e}\right )}{d}\right )}{b^{2} e^{2}}+\frac {-\frac {\ln \left (\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}\right )}{\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}}-\frac {1}{\frac {b e}{d}+\frac {\left (a d -c b \right ) e}{d \left (d x +c \right )}}}{b e}\right )}{\left (a d -c b \right ) g^{2}}\right )}{d^{2}}\)	\(448\)
risch	\(\text {Expression too large to display}\)	\(1130\)

[In]

int((d*i*x+c*i)*(A+B*ln(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g)^2,x,method=_RETURNVERBOSE)

[Out]

i*A/g^2*(d/b^2*ln(b*x+a)-(-a*d+b*c)/b^2/(b*x+a))-i*B/g^2/d^3*(a*d-b*c)^2*e^2*(-1/(a*d-b*c)^2*d^3/b/e*(-1/(b*e/
d+(a*d-b*c)*e/d/(d*x+c))*ln(b*e/d+(a*d-b*c)*e/d/(d*x+c))-1/(b*e/d+(a*d-b*c)*e/d/(d*x+c)))-1/2/(a*d-b*c)^2*d^4/
b^2/e^2*ln(b*e/d+(a*d-b*c)*e/d/(d*x+c))^2+1/(a*d-b*c)^2*d^5/b^2/e^2*(dilog(-((b*e/d+(a*d-b*c)*e/d/(d*x+c))*d-b
*e)/b/e)/d+ln(b*e/d+(a*d-b*c)*e/d/(d*x+c))*ln(-((b*e/d+(a*d-b*c)*e/d/(d*x+c))*d-b*e)/b/e)/d))

Fricas [F]

\[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a g+b g x)^2} \, dx=\int { \frac {{\left (d i x + c i\right )} {\left (B \log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}}{{\left (b g x + a g\right )}^{2}} \,d x } \]

[In]

integrate((d*i*x+c*i)*(A+B*log(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g)^2,x, algorithm="fricas")

[Out]

integral((A*d*i*x + A*c*i + (B*d*i*x + B*c*i)*log((b*e*x + a*e)/(d*x + c)))/(b^2*g^2*x^2 + 2*a*b*g^2*x + a^2*g
^2), x)

Sympy [F(-1)]

Timed out. \[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a g+b g x)^2} \, dx=\text {Timed out} \]

[In]

integrate((d*i*x+c*i)*(A+B*ln(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g)**2,x)

[Out]

Timed out

Maxima [F]

\[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a g+b g x)^2} \, dx=\int { \frac {{\left (d i x + c i\right )} {\left (B \log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}}{{\left (b g x + a g\right )}^{2}} \,d x } \]

[In]

integrate((d*i*x+c*i)*(A+B*log(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g)^2,x, algorithm="maxima")

[Out]

-B*d*i*(((b*x + a)*log(b*x + a) + a)*log(d*x + c)/(b^3*g^2*x + a*b^2*g^2) - integrate((b^2*d*x^2*log(e) + a^2*
d + (b^2*c*log(e) + a*b*d)*x + (2*b^2*d*x^2 + a^2*d + (b^2*c + 2*a*b*d)*x)*log(b*x + a))/(b^4*d*g^2*x^3 + a^2*
b^2*c*g^2 + (b^4*c*g^2 + 2*a*b^3*d*g^2)*x^2 + (2*a*b^3*c*g^2 + a^2*b^2*d*g^2)*x), x)) + A*d*i*(a/(b^3*g^2*x +
a*b^2*g^2) + log(b*x + a)/(b^2*g^2)) - B*c*i*(log(b*e*x/(d*x + c) + a*e/(d*x + c))/(b^2*g^2*x + a*b*g^2) + 1/(
b^2*g^2*x + a*b*g^2) + d*log(b*x + a)/((b^2*c - a*b*d)*g^2) - d*log(d*x + c)/((b^2*c - a*b*d)*g^2)) - A*c*i/(b
^2*g^2*x + a*b*g^2)

Giac [F]

\[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a g+b g x)^2} \, dx=\int { \frac {{\left (d i x + c i\right )} {\left (B \log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}}{{\left (b g x + a g\right )}^{2}} \,d x } \]

[In]

integrate((d*i*x+c*i)*(A+B*log(e*(b*x+a)/(d*x+c)))/(b*g*x+a*g)^2,x, algorithm="giac")

[Out]

integrate((d*i*x + c*i)*(B*log((b*x + a)*e/(d*x + c)) + A)/(b*g*x + a*g)^2, x)

Mupad [F(-1)]

Timed out. \[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(a g+b g x)^2} \, dx=\int \frac {\left (c\,i+d\,i\,x\right )\,\left (A+B\,\ln \left (\frac {e\,\left (a+b\,x\right )}{c+d\,x}\right )\right )}{{\left (a\,g+b\,g\,x\right )}^2} \,d x \]

[In]

int(((c*i + d*i*x)*(A + B*log((e*(a + b*x))/(c + d*x))))/(a*g + b*g*x)^2,x)

[Out]

int(((c*i + d*i*x)*(A + B*log((e*(a + b*x))/(c + d*x))))/(a*g + b*g*x)^2, x)